21. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
22. Big data :
پدیدآورنده : Zongben Xu, Xinbo Gao, Qiguang Miao, Yunquan Zhang, Jiajun Bu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Big data, Congresses.,Artificial Intelligence (incl. Robotics).,Big Data.,Data Mining and Knowledge Discovery.,Image Processing and Computer Vision.,System Performance and Evaluation.,Artificial intelligence.,Big data.,Computers-- Computer Graphics.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Databases.,Image processing.,Systems analysis & design.
رده :
QA76
.
9
.
B45
23. Case-based reasoning research and development :
پدیدآورنده : Michael T. Cox, Peter Funk, Shahina Begum (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Case-based reasoning, Congresses.,Artificial Intelligence (incl. Robotics).,Computer Appl. in Administrative Data Processing.,Information Storage and Retrieval.,Mathematical Logic and Formal Languages.,Special Purpose and Application-Based Systems.,User Interfaces and Human Computer Interaction.,Artificial intelligence.,Case-based reasoning.,Computers-- Data Processing.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Computers-- User Interfaces.,Expert systems-- knowledge-based systems.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,User interface design & usability.
رده :
Q338
.
8
24. Certified programs and proofs :
پدیدآورنده : Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
25. Changes of Problem Representation :
پدیدآورنده : by Eugene Fink.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial Intelligence (incl. Robotics),Cognitive Psychology.,Computer Science.
رده :
QA76
.
9
.
S63
B948
2002
26. Chinese computational linguistics and natural language processing based on naturally annotated big data :
پدیدآورنده : Maosong Sun, Ting Liu, Xiaojie Wang, Zhiyuan Liu, Yang Liu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Big data, Congresses.,Chinese language-- Data processing, Congresses.,Computational linguistics, Congresses.,Natural language processing (Computer science), Congresses.,Artificial Intelligence (incl. Robotics).,Data Mining and Knowledge Discovery.,Document Preparation and Text Processing.,Language Translation and Linguistics.,Artificial intelligence.,Big data.,Chinese language-- Data processing.,Computational linguistics.,Computers-- Database Management-- Data Mining.,Computers-- Document Management.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Data mining.,Desktop publishing.,Natural language & machine translation.,Natural language processing (Computer science)
رده :
QA76
.
9
.
N38
27. Computational linguistics and intelligent text processing :
پدیدآورنده : Alexander Gelbukh (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational linguistics, Congresses.,Discourse analysis-- Data processing, Congresses.,Information storage and retrieval systems, Congresses.,Text processing (Computer science), Congresses.,Artificial Intelligence (incl. Robotics).,Computational Linguistics.,Data Mining and Knowledge Discovery.,Document Preparation and Text Processing.,Information Systems Applications (incl. Internet).,Language Translation and Linguistics.,Artificial intelligence.,Computational linguistics.,Computational linguistics.,Computers-- Database Management-- Data Mining.,Computers-- Document Management.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Data mining.,Desktop publishing.,Discourse analysis-- Data processing.,Information retrieval.,Information storage and retrieval systems.,Language Arts & Disciplines-- Linguistics-- General.,Natural language & machine translation.,Text processing (Computer science)
رده :
QA76
.
9
.
T48
28. Computational science and technology :
پدیدآورنده : Rayner Alfred, Yuto Lim, Ag Asri Ag Ibrahim, Patricia Anthony, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Information technology, Congresses.,Artificial Intelligence (incl. Robotics).,Big Data.,Communications Engineering, Networks.,Computer networks.,Computer science.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Machine Theory.,COMPUTERS / Reference.,Information technology.
رده :
TK5105
.
5
29. Computer Systems Interaction-Human
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Engineering. ; Computer science. ; Artificial intelligence. ; Engineering mathematics. ; Engineering. ; Appl.Mathematics/Computational Methods of Engineering. ; User Interfaces and Human Computer Interaction. ; Artificial Intelligence (incl. Robotics). ;
30. Computer and Computing Technologies in Agriculture IV
پدیدآورنده : edited by Daoliang Li, Yande Liu, Yingyi Chen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Agricultural engineering-- Data processing, Congresses.,Agriculture-- Data processing, Congresses.,Artificial intelligence.,Computer networks.,Computer science.,Computer simulation.,Computers, Special purpose.,Food industry and trade-- Data processing, Congresses.,Software engineering.,Artificial Intelligence (incl. Robotics),Computer Communication Networks.,Computer Science.,Information Systems Applications (incl. Internet),Simulation and Modeling.,Software Engineering.,Special Purpose and Application-Based Systems.,Agricultural engineering-- Data processing.,Agriculture-- Data processing.,Artificial intelligence.,Computer networks.,Computer science.,Computer simulation.,Computers, Special purpose.,Food industry and trade-- Data processing.,Software engineering.
رده :
Q334-342
31. Computer information systems--analysis and technologies :
پدیدآورنده : Nabendu Chaki, Agostino Cortesi (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence-- Industrial applications, Congresses,Computer networks, Congresses,Intelligent agents (Computer software), Congresses
رده :
QA76
.
76
.
I58
I58
2011
32. Computer vision -- ECCV 2018 :
پدیدآورنده : Vittorio Ferrari, Martial Hebert, Cristian Sminchisescu, Yair Weiss (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer vision, Congresses.,Artificial Intelligence (incl. Robotics).,Computer Communication Networks.,Computer Graphics.,Image Processing and Computer Vision.,Pattern Recognition.,Artificial intelligence.,Computer vision.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Graphics programming.,Image processing.,Network hardware.,Pattern recognition.
رده :
TA1634
33. Computer vision -- ECCV 2018 :
پدیدآورنده : Vittorio Ferrari, Martial Hebert, Cristian Sminchisescu, Yair Weiss (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer vision, Congresses.,Artificial Intelligence (incl. Robotics).,Image Processing and Computer Vision.,Artificial intelligence.,Computer vision.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Image processing.
رده :
TA1634
34. Computer vision -- ECCV 2018 :
پدیدآورنده : Vittorio Ferrari, Martial Hebert, Cristian Sminchisescu, Yair Weiss (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer vision, Congresses.,Artificial Intelligence (incl. Robotics).,Computer Graphics.,Image Processing and Computer Vision.,Special Purpose and Application-Based Systems.,Artificial intelligence.,Computer vision.,Computers-- Computer Graphics.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Expert systems / knowledge-based systems.,Graphics programming.,Image processing.
رده :
TA1634
35. Conceptual modeling--ER 2011 :
پدیدآورنده : Manfred A. Jeusfeld, Lois Delcambre, Tok Wang Ling (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer simulation, Congresses,Conceptual structures (Information theory)-- Congresses,Database design, Congresses,Relational databases-- Congresses
رده :
QA76
.
9
.
C65
I58
2011
36. Control and automation, and energy system engineering :
پدیدآورنده : Tai-hoon Kim (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Automatic control, Congresses.,Systems engineering, Congresses.
رده :
TJ212
.
2
.
C3
2011
37. Data-driven generation of policies /
پدیدآورنده : Austin Parker, Gerardo I. Simari, Amy Sliva, V.S. Subrahmanian
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer algorithms.,Artificial Intelligence (incl. Robotics),Computer Science.,Data Mining and Knowledge Discovery.,Database Management.,Probability and Statistics in Computer Science.
رده :
QA76
.
9
.
A43
38. Data mining for geoinformatics :
پدیدآورنده : Guido Cervone, Jessica Lin, Nigel Waters, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Data mining,Geospatial data,Artificial Intelligence (incl. Robotics),Computer Science,Data Mining and Knowledge Discovery,Database Management,Earth Sciences, general,Geographical Information Systems/Cartography
رده :
G70
.
23
.
D38
2013
39. Datalog reloaded :
پدیدآورنده : Oege de Moor...[et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Data loggers, Congresses.,Deductive databases, Congresses.
رده :
QA76
.
9
.
D34
D38
2010
40. Declarative programming and knowledge management :
پدیدآورنده : edited by Dietmar Seipel, Michael Hanus, Salvador Abreu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.
رده :
QA76
.
615
